Sends(M)(k,v,s,l) == filter(m.mlnk(m) = l;M.sends(k,s,v)) 

latex

Definitions	filter(P;l), x.A(x), a = b, mlnk(m), M.sends(k,s,v)
FDL editor aliases	ma-sends